@import url("help.css");
@import url("source-viewer.css");
@import url("tooltip.css");

.hidden {
	display: none;
}

a.dfn {
	border-bottom: 1px dotted #00aa00;
	cursor: help;
}

a.dfn:active, a.dfn:link, a.dfn:visited {
	color: #000000;
	text-decoration: none;
}

a.dfn:hover {
	color: #0000ff;
	text-decoration: none;
}

body {
	font-family: verdana, arial, helvetica;
}

h1, h2, h3, h4, h5, h6 {
	margin-bottom: 0.5em;
}

h5 {
	margin-top: 0.5em;
}

div.footer {
	font-size: 68%;
	margin-top: 1.5em;
}

div.percentgraph
{
	background-color: #f02020;
	border: #808080 1px solid;
	height: 1.3em;
	magin: 0px;
	padding: 0px;
	width: 100px;
}

div.percentgraph div.greenbar
{
	background-color: #00f000;
	height: 1.3em;
	magin: 0px;
	padding: 0px;
}

div.percentgraph div.na
{
	background-color: #eaeaea;
	height: 1.3em;
	magin: 0px;
	padding: 0px;
}

div.percentgraph span.text
{
	display: block;
	position: absolute;
	text-align: center;
	width: 100px;
}

div.separator {
	height: 10px;
}

table tr td, table tr th {
	font-size: 68%;
}

td.value table tr td {
    font-size: 11px;
}

table.percentgraph {
	border: 0px;
	font-size: 130%;
	margin: 0px;
	margin-left: auto;
	margin-right: 0px;
	padding: 0px;
}

table.percentgraph tr.percentgraph {
	border: 0px;
	margin: 0px;
	padding: 0px;
}

table.percentgraph td.percentgraph {
	border: 0px;
	margin: 0px;
	padding: 0px;
	padding-left: 4px;
}

table.report {
	border-collapse: collapse;
	width: 100%;
}

table.report td {
	border: #d0d0d0 1px solid;
}

table.report td.heading {
    background: #dcecff;
	font-weight: bold;
	text-align: center;
}

table.report td.heading:hover {
    background: #c0ffc0;
	cursor: pointer;
}

table.report td.value {
	text-align: right;
}

table.source {
	border-style: solid;
	border-color: #bbb;
	border-spacing: 0;
	border-collapse: collapse;
	border-width: 1px;
	width: 100%;
	table-layout: fixed;
}

table.source td {
	border-style: solid;
	border-color: #bbb;
	border-spacing: 0;
	border-collapse: collapse;
	border-width: 0px 0px 0px 0px;
	padding-left: 0.2em;
	padding-right: 0.2em;
	font-family: courier, monospace;
	white-space: pre-wrap;
	word-wrap: break-word;
	word-break: break-all;
}

table.source td.code a {
	color: black;
	text-decoration: none;
}

table.source td.code a:hover {
	color: red;
	text-decoration: none;
}

table.source td.line {
	text-align: right;
	border-width: 0px 1px 0px 0px;
}

table.source th {
	padding-left: 0.5em;
	font-weight: bold;
	font-family: serif;
	background-color: #f0f0f0;
	border-width: 1px 1px 1px 1px;
	text-align: left;
}

table.source tr.covered {
	background-color: #fdd;
}

table.source tr.uncovered {
	background-color: #eeeeee;
}

table.source tr.kwnone {
	background-color: #fff;
}

.divline {
	display: none;
	position: absolute;
	border: solid gray 1px;
	background-color: white;
	padding: 10px;
}


.uncoveredmark {
	color:#aaaaaa;
}

.coveredmark {
	color:#0000ff;
	font-weight: bold;
}

.box { 
	width: 100%; 
	text-align:center;
	border-width:thin;
	font-size: 11px;
	padding:3px;
	border-color:#eeeeee;
	background-color:#eeeeee;
}
.smallcovf {
	font-size: 7px;	
	color:#ff5555;
	font-style: italic;
}
.smallcovb {
	font-size: 7px;	
	color:#5555ff;
	font-style: italic;
}
